1. Logic of Programs :
پدیدآورنده: edited by Erwin Engeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
2. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده: edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
3. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده: edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
4. The Combinatory programme
پدیدآورنده: / edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Combinatory logic
رده :
511
.
3
C731
